332 search results - page 32 / 67 » Enhancing Object-Oriented Modeling with Concepts to |
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
JCP
2007
13 years 7 months ago
2007
— Currently, context awareness is one of the main trends in distributed mobile computing environments. Against this background, the demand for more complex – and additionally l...
JSA
2008
13 years 7 months ago
2008
Like most software products, protocols are continuously enhanced and new protocols are developed. But especially new protocols of the transport layer can not be utilized widely ea...
WSC
2000
13 years 8 months ago
2000
The aim of this panel session is to point out the importance of agent-directed simulation, as a scientific concept and technological possibility, to enhance the potential of simul...
ICSOC
2009
Springer
13 years 5 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...