1888 search results - page 207 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
Voted
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
120
click to vote
KR
1994
Springer
15 years 8 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
133
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
142
Voted
WSC
2008
15 years 6 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...
117
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
One novel technique for identifying the writer of an online handwritten document is proposed. This technique makes use of a character prototype distribution to model the specific ...