26 search results - page 5 / 6 » Structuring Real-Time Object-Z Specifications |
DAGSTUHL
2001
15 years 1 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
114
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
104
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
114
click to vote
CISIS
2007
IEEE
14 years 11 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...