3824 search results - page 540 / 765 » Geometry Constructions Language |
177
click to vote
SYNASC
2008
IEEE
16 years 27 days ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
151
click to vote
APSEC
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
164
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
156
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
157
click to vote
BTW
2007
Springer
16 years 21 days ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...