3948 search results - page 267 / 790 » Integration Workbench: Integrating Schema Integration Tools |
189
click to vote
CARDIS
2000
Springer
15 years 10 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
167
click to vote
ACSE
1997
ACM
15 years 10 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
164
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
203
click to vote
AWPN
2008
15 years 7 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
137
click to vote
AAI
2006
15 years 6 months ago
2006
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...