Sciweavers

4386 search results - page 842 / 878
» A Tamper-Resistant Programming Language System
Sort
View
IGARSS
2010
13 years 2 months ago
Hands-on GPS and remote sensing training for high school learners during IGARSS 2009 in Cape Town, South Africa
Continuing the commitment of the Geoscience and Remote Sensing Society (GRSS) to education and outreach, the IEEE 2009 International Geoscience and Remote Sensing Symposium (IGARSS...
Linda Hayden, Ambrose Jearld, Je'aime Powell, Kuch...
SIGSOFT
2007
ACM
14 years 8 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
ISORC
2009
IEEE
14 years 2 months ago
Embedded JIT Compilation with CACAO on YARI
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
Florian Brandner, Tommy Thorn, Martin Schoeberl
ATAL
2005
Springer
14 years 1 months ago
Experiences with the design and implementation of an agent-based autonomous UAV controller
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
Samin Karim, Clinton Heinze
CBSE
2004
Springer
14 years 1 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...