1395 search results - page 85 / 279 » Incremental Construction Approach for Distributed System Spe... |
121
click to vote
TCS
2010
14 years 8 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
107
Voted
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
145
Voted
EDOC
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
111
click to vote
DBSEC
2000
15 years 2 months ago
2000
There are many technologies for distributed processing/interoperation, including CORBA, DCE, DCOM, Enterprise Java Beans, Java IDL, JDBC, etc. Most promising, is the emergence of ...
122
click to vote
AROBOTS
2004
15 years 1 months ago
2004
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...