2039 search results - page 308 / 408 » Teaching Standards to Engineers |
143
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
154
click to vote
IFIP
2007
Springer
16 years 20 days ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
158
click to vote
SAMT
2007
Springer
16 years 19 days ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
178
click to vote
SEKE
2007
Springer
16 years 19 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
255
click to vote
SIGADA
2007
Springer
16 years 18 days ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...