1541 search results - page 212 / 309 » Tools and Techniques for Model Checking Networked Programs |
131
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
132
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
161
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
152
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
123
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...