1676 search results - page 200 / 336 » Formal Development of Self-organising Systems |
148
click to vote
ISI
2004
Springer
16 years 7 hour ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
199
click to vote
MDM
2004
Springer
16 years 2 hour ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
158
Voted
CHI
1994
ACM
15 years 10 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
159
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
178
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...