1134 search results - page 38 / 227 » Using Constraints with Action Language for Model Evolution |
211
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
135
Voted
NOMS
2008
IEEE
15 years 9 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
143
Voted
AAAI
2011
14 years 2 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
104
Voted
IWPSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
143
Voted
TOSEM
2002
15 years 2 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...