2245 search results - page 69 / 449 » A Case Study Implementing Features Using AspectJ |
153
click to vote
ICST
2009
IEEE
15 years 11 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
119
Voted
OTM
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce Web Objects in XML (WOX) as a web protocol for distributed objects, which uses HTTP as its transport protocol and XML as its format representation. It al...
116
Voted
WSC
1998
15 years 4 months ago
1998
An attractive feature of many simulation packages is their availability on desktop computers and their potential for allowing the user to run a simulation model under different co...
149
Voted
ESAW
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
108
click to vote
ICAIL
1995
ACM
15 years 6 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...