561 search results - page 86 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
150
click to vote
VMCAI
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
159
click to vote
IJVR
2008
15 years 6 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
189
click to vote
RTS
2006
15 years 6 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
192
click to vote
AICCSA
2008
IEEE
16 years 15 days ago
2008
IEEE
During the last decades, performance of available hardware resources constantly increased [15], which enabled the assignment of more and more complex tasks to software systems. As...
171
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...