930 search results - page 182 / 186 » Modelling Control Systems in an Event-Driven Coordination La... |
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
83
Voted
FROCOS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
COGSR
2011
14 years 4 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
109
Voted
MM
2010
ACM
14 years 9 months ago
2010
ACM
Networked virtual environments like Second Life enable distant people to meet for leisure as well as work. But users are represented through avatars controlled by keyboards and mo...