2306 search results - page 123 / 462 » Modeling issues in a shipping system |
AOSD
2009
ACM
15 years 12 days ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
CAI
2006
Springer
14 years 10 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
BIS
2008
14 years 11 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
IAT
2006
IEEE
15 years 4 months ago
2006
IEEE
Most existing dialogue systems have been developed specifically for some predefined task domain(s), thus the issues of extensibility and reuse of the dialogue model are often no...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...