32028 search results - page 422 / 6406 » Experimenting a |
175
click to vote
ENTCS
2010
15 years 7 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
171
click to vote
DSS
2008
15 years 7 months ago
2008
The public safety community in the United States consists of thousands of local, state, and federal agencies, each with its own information system. In the past few years, there ha...
186
click to vote
ENTCS
2008
15 years 7 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
197
click to vote
ENTCS
2008
15 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
