2748 search results - page 265 / 550 » Generating Object-Z Specifications from Use Cases |
138
click to vote
ECML
1991
Springer
15 years 7 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
115
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
The next version of XHTML is at work-in-progress stage in the World Wide Web Consortium. It adds a lot of features to the most used content language of the Web. The most notable ch...
104
click to vote
AIPS
2003
15 years 5 months ago
2003
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
156
Voted
JUCS
2010
14 years 10 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
149
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...