1524 search results - page 155 / 305 » Operational Semantics of Hybrid Systems |
AC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
IUI
2010
ACM
15 years 4 months ago
2010
ACM
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...
CEC
2011
IEEE
13 years 10 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...