Search Sciweavers | Sciweavers

2771 search results - page 8 / 555

» Advances in Document Engineering

105

Voted

CSEE
2010
Springer

87views Software Engineering» more CSEE 2010»

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

15 years 2 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 »

127

Voted

VLDB
2005
ACM

126views Database» more VLDB 2005»

Hubble: An Advanced Dynamic Folder Technology for XML

15 years 9 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 »

146

click to vote

CADE
2007
Springer

147views Logical Reasoning» more CADE 2007»

ALICE: An Advanced Logic for Interactive Component Engineering

16 years 4 months 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 »

114

Voted

ISPE
2003

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

An advanced infrastructure for collaborative engineering in electronic design automation

15 years 5 months ago

Download jerry.c-lab.de

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

claim paper