5384 search results - page 505 / 1077 » Open Standards Requirements |
166
Voted
IFM
2004
Springer
16 years 20 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
180
Voted
IMR
2004
Springer
16 years 20 days ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
211
Voted
IPTPS
2004
Springer
16 years 20 days ago
2004
Springer
Abstract— Content sharing is a popular usage of peerto-peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-pe...
179
Voted
CHI
2010
ACM
16 years 18 days ago
2010
ACM
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...
218
Voted
DSRT
2003
IEEE
16 years 18 days ago
2003
IEEE
Continued research into distributed agent-based systems and evolving web based technologies are opening up tremendous possibilities for the deployment of large scale and highly ex...