Sciweavers

4029 search results - page 290 / 806
» Experience with Software Watermarking
Sort
View
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 8 months ago
Java Bytecode Verification for @NonNull Types
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
Chris Male, David J. Pearce, Alex Potanin, Constan...
ECLIPSE
2005
ACM
15 years 8 months ago
eAssignment: a case for EMF
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
Marcel Bruch, Christoph Bockisch, Thorsten Sch&aum...
SCM
2001
15 years 8 months ago
Defining and Supporting Concurrent Engineering Policies in SCM
Software Configuration Management addresses roughly two areas, the first and older one concerns the storage of the entities produced during the software project; the second one con...
Jacky Estublier, Sergio Cárdenas-Garc&iacut...
MMNS
2000
98views Multimedia» more  MMNS 2000»
15 years 8 months ago
Automating Internet Routing Behavior Analysis Using Public WWW Traceroute Services
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...
Selim Gurun, Boleslaw K. Szymanski