3024 search results - page 326 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
206
Voted
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
210
Voted
HUC
2004
Springer
16 years 25 days ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
217
click to vote
IPPS
2003
IEEE
16 years 22 days ago
2003
IEEE
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...
187
click to vote
DAC
2003
ACM
16 years 21 days ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
188
click to vote
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...