Sciweavers

3765 search results - page 176 / 753
» Qualitative Action Systems
Sort
View
147
Voted
FUIN
2002
89views more  FUIN 2002»
15 years 4 months ago
Process Algebra with Nonstandard Timing
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
Kees Middelburg
154
Voted
PAAMS
2010
Springer
15 years 2 months ago
A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation
An ambient agent system is presented estimating a human's dynamics of desiring and being tempted. The agent is equipped with a dynamical model of the human's processes wh...
Mark Hoogendoorn, Zulfiqar A. Memon, Jan Treur, Mu...
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 11 months ago
The Language Features and Architecture of B-Prolog
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
Neng-Fa Zhou
RR
2007
Springer
15 years 10 months ago
A Framework for Combining Rules and Geo-ontologies
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Ge...
ICDCSW
2011
IEEE
14 years 4 months ago
Cross-Examination of Datacenter Workload Modeling Techniques
Datacenter workload modeling has become a necessity in recent years due to the emergence of large-scale applications and cloud data-stores, whose implementation remains largely un...
Christina Delimitrou, Christos Kozyrakis