4890 search results - page 521 / 978 » From system specifications to component behavioral models |
211
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
179
click to vote
BC
2000
15 years 7 months ago
2000
Abstract The visual homing abilities of insects can be explained by the snapshot hypothesis. It asserts that an animal is guided to a previously visited location by comparing the c...
183
click to vote
ICAIL
2003
ACM
16 years 15 days ago
2003
ACM
The general goal of the paper is to show the normative/deontic nature of conventions. Conventions are traditionally defined as regularity of behavior based on expectations evolved...
211
click to vote
DSN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
198
click to vote
APSEC
2005
IEEE
16 years 27 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...