7380 search results - page 296 / 1476 » time 2008 |
158
Voted
IADIS
2004
15 years 8 months ago
2004
The management of network services is a time- and resource- consuming activity. In this paper we discuss an organizational model that reduces the cost of managing Internet Service...
153
click to vote
IADIS
2004
15 years 8 months ago
2004
Estimation of time and costs is a crucial factor in an application development project and low error margins are a priority. This principle is also true for development projects f...
179
click to vote
APAL
2008
15 years 6 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
158
click to vote
FOCM
2008
15 years 6 months ago
2008
Smale's 17th Problem asks "Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average [for a suitable probability measure on the s...