2002 search results - page 102 / 401 » Interactive technical illustration |
171
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
133
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
131
click to vote
COSIT
2003
Springer
15 years 9 months ago
2003
Springer
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
143
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...
153
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...