7106 search results - page 852 / 1422 » Restricted Complexity, General Complexity |
207
click to vote
ICALP
2005
Springer
16 years 21 days ago
2005
Springer
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
235
click to vote
ICFEM
2005
Springer
16 years 21 days ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
214
click to vote
PPDP
2005
Springer
16 years 20 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
213
click to vote
VSTTE
2005
Springer
16 years 20 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
225
click to vote
ACMACE
2004
ACM
16 years 19 days ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...