3765 search results - page 531 / 753 » Qualitative Action Systems |
178
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
224
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...
159
Voted
AI
2010
Springer
15 years 6 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
147
click to vote
AMC
2007
15 years 6 months ago
2007
In this paper, we consider an integrated pest management model which is impulsively controlled by means of biological and chemical controls. These controls are assumed to act in a...
164
click to vote
BIB
2007
15 years 6 months ago
2007
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...