3256 search results - page 410 / 652 » Applications of Formal Methods to System Design and Verifica... |
269
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
In order to provide context?aware Location?Based Services, real location data of mobile users must be collected and analyzed by spatio?temporal data mining methods. However, the d...
152
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
As immersive virtual environment (VE) applications become more complex, it is clear that we need a rm understanding of the principles of VE interaction. In particular, designers n...
176
click to vote
ICPADS
2006
IEEE
16 years 18 days ago
2006
IEEE
Peer-to-Peer (P2P) systems are characterized by direct access between peer computers, rather than through a centralized server. File sharing is the dominant P2P application on the...
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
201
click to vote
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 8 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...