2488 search results - page 227 / 498 » An improvement in formal verification |
109
click to vote
ANSS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
114
click to vote
WSC
2008
15 years 3 months ago
2008
Simulation of wildfire spread remains to be a challenging task. In previous work, a cellular space fire spread simulation model has been developed based on the Discrete Event Syst...
118
click to vote
WICSA
2008
15 years 2 months ago
2008
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...
ER
2007
Springer
15 years 7 months ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...