Sciweavers

2933 search results - page 59 / 587
» Agent-Grid Integration Language
Sort
View
KBSE
2009
IEEE
14 years 3 months ago
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Tese...
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
14 years 2 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
POPL
1998
ACM
14 years 1 months ago
The SLam Calculus: Programming with Secrecy and Integrity
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
Nevin Heintze, Jon G. Riecke
ACL
2008
13 years 10 months ago
An Unsupervised Vector Approach to Biomedical Term Disambiguation: Integrating UMLS and Medline
This paper introduces an unsupervised vector approach to disambiguate words in biomedical text that can be applied to all-word disambiguation. We explore using contextual informat...
Bridget McInnes
MODELLIERUNG
2008
13 years 10 months ago
Integrating Content Assist into Textual Modelling Editors
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
Markus Scheidgen