16844 search results - page 3295 / 3369 » How to Design Programs |
121
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: In ubiquitous environments computers and smart devices, especially the technical view on them, disappear and users are supported to concentrate on the tasks they actually intend ...
125
Voted
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
113
click to vote
DIGITALCITIES
2001
Springer
15 years 7 months ago
2001
Springer
Much thinking about digital cities is in terms of community groups. Yet, the world is composed of social networks and not of groups. This paper traces how communities have changed ...
160
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
136
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...