40 search results - page 7 / 8 » Systems Modelling via Resources and Processes: Philosophy, C... |
CAISE
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
ICTAI
2008
IEEE
14 years 20 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
IDEAS
2009
IEEE
14 years 27 days ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
ATVA
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...