Sciweavers

1736 search results - page 305 / 348
» Semantic Annotation for Java
Sort
View
GI
2005
Springer
14 years 2 months ago
Semiautomatische Erweiterung von Topic Maps mit Hilfe von Thesauri und User-Feedback
: Das Semantic Web stellt die nächste Stufe der Evolution des World Wide Web dar. Der Prozess der Erweiterung bestehender Datenbestände um Metadaten - die Annotation - ist teuer ...
Andreas Bertram
CADE
2005
Springer
14 years 9 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
TOOLS
2008
IEEE
14 years 3 months ago
Controlling Accessibility in Agile Projects with the Access Modifier Modifier
Access modifiers like public and private let the programmer control the accessibility of class members. Restricted accessibility supports encapsulation, i.e., the hiding of impleme...
Philipp Bouillon, Eric Großkinsky, Friedrich...
HPCC
2007
Springer
14 years 3 months ago
Optimizing Array Accesses in High Productivity Languages
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
Mackale Joyner, Zoran Budimlic, Vivek Sarkar
OOPSLA
2007
Springer
14 years 3 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich