Sciweavers

3825 search results - page 559 / 765
» The Language of Time: A Reader
Sort
View
CN
2006
82views more  CN 2006»
15 years 7 months ago
Event-condition-action rules on RDF metadata in P2P environments
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
George Papamarkos, Alexandra Poulovassilis, Peter ...
IJCSA
2006
95views more  IJCSA 2006»
15 years 7 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
TOG
2008
120views more  TOG 2008»
15 years 7 months ago
Markerless garment capture
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...
Derek Bradley, Tiberiu Popa, Alla Sheffer, Wolfgan...
INTEGRATION
2000
71views more  INTEGRATION 2000»
15 years 7 months ago
A hardware implementation of realloc function
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chan...
SOPR
2002
106views more  SOPR 2002»
15 years 6 months ago
A discrete simulation model for assessing software project scheduling policies
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
Frank Padberg