3256 search results - page 571 / 652 » Applications of Formal Methods to System Design and Verifica... |
KER
2008
14 years 9 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
SIGGRAPH
1991
ACM
15 years 1 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
SENSYS
2006
ACM
15 years 3 months ago
2006
ACM
The resolution at which a sensor network collects data is a crucial parameter of performance since it governs the range of applications that are feasible to be developed using tha...
ANCS
2005
ACM
15 years 3 months ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...