Sciweavers

1050 search results - page 1 / 210

» Towards programming for the non-technical

11

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

13 years 3 months ago

From a Verified Kernel towards Verified Systems

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

11

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Towards an Environmental Management Approach for Collaborative Networks

12 years 11 months ago

Towards an Environmental Management Approach for Collaborative Networks

Download www.uninova.pt

Ovidiu Noran

claim paper

Read More »

13

IFIP
2010
Springer

167views Programming Languages» more IFIP 2010»

Towards a Performance Measurement System to Control Disaster Response

13 years 3 months ago

Towards a Performance Measurement System to Control Disaster Response

Download www.uninova.pt

Carine Rongier, Didier Gourc, Matthieu Lauras, Fra...

claim paper

Read More »

10

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

12 years 11 months ago

Towards Automatic Analysis of Election Verifiability Properties

Download www.lsv.ens-cachan.fr

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...

claim paper

Read More »

26

PUC
2011

250views Computer Networks» more PUC 2011»

Toward a cooperative programming framework for context-aware applications

12 years 11 months ago

Toward a cooperative programming framework for context-aware applications

Download www.ayu.ics.keio.ac.jp

OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...

Bin Guo, Daqing Zhang, Michita Imai

claim paper

Read More »

« Prev « First page 1 / 210 Last » Next »