1141 search results - page 108 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
161
click to vote
SAMOS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
181
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
184
click to vote
LOGCOM
1998
15 years 6 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
166
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
163
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...