152 search results - page 6 / 31 » Using JavaBeans to Realize a Domain-Specific Component Model |
DBSEC
2000
14 years 10 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 ...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
CONSTRAINTS
2002
14 years 9 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
TSE
2008
14 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
SPIN
2001
Springer
15 years 1 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...