2944 search results - page 362 / 589 » On Well Quasi-orders on Languages |
156
click to vote
APLAS
2006
ACM
16 years 17 days 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...
156
click to vote
CEC
2005
IEEE
16 years 7 days ago
2005
IEEE
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
171
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
188
click to vote
DASFAA
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...
157
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...