7075 search results - page 1113 / 1415 » Models and heterogeneous reasoning |
170
Voted
PATAT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
173
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
206
click to vote
SPAA
1995
ACM
15 years 10 months ago
1995
ACM
For years, the computation rate of processors has been much faster than the access rate of memory banks, and this divergence in speeds has been constantly increasing in recent yea...
211
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...
210
click to vote
AIL
2007
15 years 7 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...