4693 search results - page 541 / 939 » Verifying Hybrid Systems |
196
click to vote
JSS
2011
14 years 9 months ago
2011
Forecasting workflow activity durations is of great importance to support satisfactory QoS in workflow systems. Traditionally, a workflow system is often designed to facilitate the...
182
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...
187
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
209
click to vote
ATAL
2003
Springer
16 years 6 days ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
177
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...