Sciweavers

1264 search results - page 43 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
TISSEC
2002
75views more  TISSEC 2002»
15 years 1 months ago
Termination in language-based systems
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
Algis Rudys, Dan S. Wallach
ADAEUROPE
2000
Springer
15 years 6 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky
AROBOTS
1999
140views more  AROBOTS 1999»
15 years 1 months ago
A Robust Analog VLSI Motion Sensor Based on the Visual System of the Fly
Sensing visual motion gives a creature valuable information about its interactions with the environment. Flies in particular use visual motion information to navigate through turbu...
Reid R. Harrison, Christof Koch
84
Voted
SAINT
2006
IEEE
15 years 8 months ago
Positioning Analysis of Multiple Antennas in a Dense RFID Reader Environment
The study and analysis of RFID antenna positioning is important for supply chain large-scale deployment. In a dense reader environment, there will be multiples of RFID readers and...
Kin Seong Leong, Mun Leng Ng, Peter H. Cole
153
Voted
FORTE
2011
14 years 5 months ago
Analyzing BGP Instances in Maude
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...