880 search results - page 128 / 176 » Model checking erlang programs: the functional approach |
130
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
183
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
151
Voted
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
153
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
157
click to vote
ICSEA
2009
IEEE
15 years 11 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...