Search Sciweavers | Sciweavers

2771 search results - page 8 / 555

» Advances in Document Engineering

Voted

CSEE
2010
Springer

87views Software Engineering» more CSEE 2010»

Using LEGO MINDSTORMS NXT and LEJOS in an Advanced Software Engineering Course

14 years 10 months ago

Download www.cs.virginia.edu

This paper describes the benefits of using LeJOS and the Lego Mindstorms NXT set for teaching

Michael W. Lew, Thomas B. Horton, Mark S. Sherriff

claim paper

Read More »

Voted

VLDB
2005
ACM

126views Database» more VLDB 2005»

Hubble: An Advanced Dynamic Folder Technology for XML

15 years 5 months ago

Download www.vldb2005.org

A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...

Ning Li, Joshua Hui, Hui-I Hsiao, Kevin S. Beyer

claim paper

Read More »

112

Voted

CADE
2007
Springer

147views Logical Reasoning» more CADE 2007»

ALICE: An Advanced Logic for Interactive Component Engineering

16 years 20 days ago

Download www.sse-tubs.de

This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...

Borislav Gajanovic, Bernhard Rumpe

claim paper

Read More »

click to vote

ISPE
2003

117views Distributed And Parallel Com...» more ISPE 2003»

An advanced infrastructure for collaborative engineering in electronic design automation

15 years 1 months ago

Download jerry.c-lab.de

Tomasz Kostienko, Wolfgang Müller 0003, Adam ...

claim paper

Read More »