4854 search results - page 576 / 971 » It's the Programming, Stupid |
155
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
187
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
193
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
173
click to vote
IUI
2004
ACM
16 years 7 days ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
156
Voted
NETGAMES
2004
ACM
16 years 7 days ago
2004
ACM
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...