10568 search results - page 664 / 2114 » Computer Intelligence and Formalization |
194
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
212
click to vote
CAISE
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the ...
216
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
We formalize a notion of topological simplification within the framework of a filtration, which is the history of a growing complex. We classify a topological change that happens ...
199
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
332
click to vote
ACHI
2010
IEEE
16 years 2 months ago
2010
IEEE
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...