3828 search results - page 81 / 766 » Proof-Based System Engineering Using a Virtual System Model |
133
Voted
VRCAI
2009
ACM
15 years 9 months ago
2009
ACM
Heat cutter is a tool for processing styrene forms. Since blades of cutters are steal wires, user can freely bend them. We think this operation is intuitive for 3D shape modeling....
112
click to vote
VRML
2004
ACM
15 years 8 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
115
click to vote
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
120
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...