1481 search results - page 230 / 297 » Enriching the Software Development Process by Formal Methods |
JCIT
2008
14 years 12 months ago
2008
Affective computing systems are software systems that take in account the emotional state of the user during their operation. Recently it is increasingly accepted that combining e...
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
106
click to vote
CBMS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
116
click to vote
SFM
2005
Springer
15 years 5 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...