432 search results - page 49 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
141
click to vote
DATE
2009
IEEE
16 years 1 days ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
145
click to vote
AIED
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. While high interactivity has been one of the main characteristics of oneon-one human tutoring, a great deal of controversy surrounds the issue of whether interactivity is...
163
Voted
SDL
2007
15 years 6 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
129
click to vote
ENTCS
2007
15 years 5 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
142
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...