4348 search results - page 702 / 870 » Using UML for Modeling Complex Real-Time Systems |
188
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
202
click to vote
SEKE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
180
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The administration of users and access rights in large enterprises is a complex and challenging task. Roles are a powerful concept for simplifying access control, but their implem...
173
click to vote
VRML
1997
ACM
15 years 10 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
168
click to vote
WSC
2004
15 years 7 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...