Search Sciweavers | Sciweavers

20175 search results - page 155 / 4035

» Is abstraction the key to computing

103

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 7 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

128

click to vote

ISWC
2005
IEEE

161views Human Computer Interaction» more ISWC 2005»

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage

15 years 6 months ago

Download www.cs.washington.edu

Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...

claim paper

Read More »

click to vote

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

15 years 6 months ago

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

click to vote

ICALP
2004
Springer

99views Programming Languages» more ICALP 2004»

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

15 years 6 months ago

Download people.scs.carleton.ca

Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...

claim paper

Read More »

click to vote

ECOOPW
2003
Springer

92views Distributed And Parallel Com...» more ECOOPW 2003»

Communication Abstractions for Distributed Systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers