2637 search results - page 334 / 528 » Tool Supported Specification and Simulation of Distributed S... |
195
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
195
click to vote
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
There has been much recent interest in the development of tools to foster remote collaboration and shared creative work. An open question is: what are the guidelines for this proc...
153
click to vote
CD
2004
Springer
16 years 3 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
200
click to vote
USENIX
2004
15 years 8 months ago
2004
Many Wireless Sensor Network (WSN) applications are composed of a mixture of deployed devices with varying capabilities, from extremely constrained 8-bit "Motes" to less...
191
click to vote
EUC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...