1054 search results - page 41 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ICN
2007
Springer
14 years 2 months ago
2007
Springer
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
ICIA
2007
13 years 11 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
IRI
2003
IEEE
14 years 1 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
ENC
2005
IEEE
14 years 2 months ago
2005
IEEE
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...