4418 search results - page 169 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
161
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
148
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
160
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
134
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
137
click to vote
ICMAS
2000
15 years 6 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...