10454 search results - page 1795 / 2091 » Modeling the Experience of Emotion |
214
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
178
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we demonstrate an automatic approach for emergent semantics modeling of ontologies. We follow the collaborative ontology construction method without the direct intera...
188
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
183
Voted
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
161
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...