1305 search results - page 170 / 261 » The design context of concurrent computation systems |
178
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
148
click to vote
ICMI
2005
Springer
16 years 7 hour ago
2005
Springer
The design of an output multimodal system is a complex task due to the richness of today interaction contexts. The diversity of environments, systems and user profiles requires a ...
144
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
181
click to vote
ACL
2010
15 years 4 months ago
2010
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
166
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper describes metaheuristic algorithm based on simulated annealing method,which is a nature-inspired method, to analyze and improve the efficiency of the design of...