1676 search results - page 206 / 336 » Formal System Development with KIV |
155
click to vote
SCFBM
2008
15 years 4 months ago
2008
Background: As the demands for competency-based education grow, the need for standardsbased tools to allow for publishing and discovery of competency-based learning content is mor...
167
Voted
HICSS
2012
IEEE
14 years 11 days ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
127
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
113
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
125
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...