3983 search results - page 473 / 797 » Conceptual logic programs |
133
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— All large vendors of standard business software have announced to move to service oriented architecture. They claim benefits for their customers with regard to agility and ope...
135
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
114
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
139
click to vote
VRST
2006
ACM
15 years 10 months ago
2006
ACM
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...
122
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...