Sciweavers

576 search results - page 59 / 116
» Synchronization of Some DFA
Sort
View
SEMWEB
2004
Springer
14 years 2 months ago
OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...
Thorsten Liebig, Olaf Noppens
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
14 years 2 months ago
Supporting Collaborative Exercises for Distance Education
At the German Distance Learning University, collaborative synchronous exercises have been recently identified by students and teachers as an important future form of collaborative...
Jörg M. Haake, Till Schümmer, Anja Haake
EAGC
2003
Springer
14 years 1 months ago
A Grid Framework for Optimistic Resource Sharing
: Grids are gaining more importance in this era of Internet technology to maximize the use of resources such as hardware and software infrastructure. The grid provides a platform t...
Norlaily Yaacob, Rahat Iqbal
GCC
2003
Springer
14 years 1 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi
ISQED
2002
IEEE
85views Hardware» more  ISQED 2002»
14 years 1 months ago
Optimal Sequencing Energy Allocation for CMOS Integrated Systems
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...
Martin Saint-Laurent, Vojin G. Oklobdzija, Simon S...