9018 search results - page 1145 / 1804 » 3D-Brain Model Software |
197
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
192
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
196
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
180
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
176
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...