964 search results - page 114 / 193 » Scenario-driven modeling and validation of requirements mode... |
HCI
2009
13 years 8 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
The context of this paper is to study the use of capillary microgripper in submerged mediums which requires the use of microbubbles. This paper presents a model and experimentatio...
MIDDLEWARE
2005
Springer
14 years 3 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
COLT
2004
Springer
14 years 3 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
SAC
2010
ACM
13 years 10 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...