Sciweavers

4029 search results - page 374 / 806
» Experience with Software Watermarking
Sort
View
EXPERT
2006
94views more  EXPERT 2006»
15 years 6 months ago
A Canonical Agent Model for Healthcare Applications
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
John Fox, David Glasspool, Sanjay Modgil
TASE
2008
IEEE
15 years 6 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
TASE
2008
IEEE
15 years 6 months ago
Optimal Vibratory Stick-Slip Transport
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
Paul Umbanhowar, Kevin M. Lynch
CC
2000
Springer
134views System Software» more  CC 2000»
15 years 6 months ago
Pipelined Java Virtual Machine Interpreters
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...
Jan Hoogerbrugge, Lex Augusteijn
IFE
2002
69views more  IFE 2002»
15 years 6 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren