1065 search results - page 192 / 213 » Towards a Meaning of LIFE |
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
EVOW
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...
OTM
2005
Springer
15 years 4 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
102
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
109
click to vote
ASWSD
2004
Springer
15 years 4 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...