2153 search results - page 387 / 431 » From Requirements Models to Formal Specifications in B |
JNW
2008
13 years 10 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
JBI
2006
13 years 10 months ago
2006
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
JPDC
2008
13 years 10 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
LRE
2008
13 years 10 months ago
2008
Since emotions are expressed through a combination of verbal and non-verbal channels, a joint analysis of speech and gestures is required to understand expressive human communicati...
TSE
2008
13 years 10 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...