641 search results - page 38 / 129 » Java Transactions for the Internet |
CASSIS
2004
Springer
14 years 24 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
OTM
2005
Springer
14 years 27 days ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
ISN
1998
Springer
13 years 11 months ago
1998
Springer
Enterprise models, based on the responsibilities and relationships underlying market activities, are used to provide a framework for representing and analysing the activity of bro...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The emergence of the SCORM specification has shed a light toward standardization of e-learning which makes the reusability and interoperability of learning resources feasible. How...
COMPSEC
2010
13 years 7 months ago
2010
Many modern mobile devices, such as mobile phones or Personal Digital Assistants (PDAs), are able to run Java applications, such as games, Internet browsers, chat tools and so on....