3828 search results - page 240 / 766 » Proof-Based System Engineering Using a Virtual System Model |
175
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
160
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...
158
click to vote
WSC
2000
15 years 7 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
140
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Both for developing human-like virtual agents and for developing intelligent systems that make use of knowledge about the emotional state of the user, it is important to model the ...
210
click to vote
ECUMN
2004
Springer
15 years 10 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...