Sciweavers

2131 search results - page 196 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
UML
2001
Springer
15 years 10 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
VSTTE
2005
Springer
15 years 11 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
IPSN
2005
Springer
15 years 11 months ago
The particle computer system
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...
Christian Decker, Albert Krohn, Michael Beigl, Tob...
SIGSOFT
2011
ACM
15 years 16 days ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...
171
Voted
PUC
2008
146views more  PUC 2008»
15 years 5 months ago
Evaluating teamwork support in tabletop groupware applications using collaboration usability analysis
Tabletop groupware systems have natural advantages for collaboration, but they present a challenge for application designers because shared work and interaction progress in differe...
David Pinelle, Carl Gutwin