979 search results - page 88 / 196 » Automated Environment Generation for Software Model Checking |
149
Voted
IAT
2010
IEEE
15 years 18 days ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
127
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
164
Voted
IGARSS
2010
14 years 9 months ago
2010
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
111
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
121
Voted
P2P
2009
IEEE
15 years 9 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...