1161 search results - page 56 / 233 » Resource Modeling for Timed Creol Models |
106
Voted
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
103
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
124
Voted
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
128
click to vote
IJCAI
2007
15 years 4 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
148
click to vote
TWC
2008
15 years 3 months ago
2008
Abstract--In this letter we discuss the exploitation of aggregated mobility patterns in mobile networks including heterogeneous multiple access techniques. We advocate the use of k...