1425 search results - page 227 / 285 » Distributed Development of Complex Software Systems with Obj... |
123
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
110
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
The natural evolution of eGovernment is to go beyond the management of identities and therefore it is necessary to manage people, companies or organizations, and their capabilities...
102
click to vote
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
Small-form-factor, low-power wireless sensors—motes—are convenient to deploy, but lack the bandwidth to capture and transmit raw high-frequency data, such as human voices or n...
121
click to vote
AAAI
2007
15 years 4 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
113
click to vote
TMC
2010
15 years 25 days ago
2010
—In this paper, we analyze the achievable capacity of the secondary service for overlay and underlay access strategies. We then propose a novel mixed access strategy in which in ...