5639 search results - page 839 / 1128 » Timed Abstract Non-interference |
139
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
111
click to vote
IWDC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...
126
click to vote
METAINFORMATICS
2004
Springer
15 years 9 months ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
150
click to vote
MMAS
2004
Springer
15 years 9 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
138
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...