77016 search results - page 642 / 15404 » Modelling |
180
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
The 3D Object MEdiator (3DOME 3 ) offers two services for handling 3D models: a modelshop and a renderfarm. These services can be consulted through the Internet. The modelshop mee...
201
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
183
click to vote
ASIAN
2007
Springer
15 years 11 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
232
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
225
click to vote
ALGOSENSORS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...