1163 search results - page 166 / 233 » Case Studies of Model Checking for Embedded System Designs |
151
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
121
click to vote
INTERACT
2007
15 years 5 months ago
2007
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...
146
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
108
click to vote
IV
1999
IEEE
15 years 8 months ago
1999
IEEE
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
203
click to vote
DALT
2010
Springer
14 years 11 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...