Sciweavers

1928 search results - page 267 / 386
» Integrity Constraints in OWL
Sort
View
ICFEM
1997
Springer
14 years 2 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ECTEL
2006
Springer
14 years 1 months ago
Guided and Interactive Factory Tours for Schools
School education today aims at improving the integration of school and professional life. A popular way to provide first hand experiences to students are guided factory tours. Comp...
Andreas Kaibel, Andreas Auwärter, Milos Kravc...
WSC
2007
14 years 13 days ago
Optimal scheduling of probabilistic repetitive projects using completed unit and genetic algorithms
In this paper we introduce the completed unit algorithm (CU-AL), a probabilistic scheduling methodology for repetitive projects. The algorithm has two main advantages, simplicity ...
Chachrist Srisuwanrat, Photios G. Ioannou
CANDC
2005
ACM
14 years 2 days ago
The amateur creator
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
Stephen Boyd Davis, Magnus Moar
CONEXT
2008
ACM
13 years 12 months ago
ALPHA: an adaptive and lightweight protocol for hop-by-hop authentication
Wireless multi-hop networks are particularly susceptible to attacks based on flooding and the interception, tampering with, and forging of packets. Thus, reliable communication in...
Tobias Heer, Stefan Götz, Oscar García...