Sciweavers

1050 search results - page 1 / 210

» Towards programming for the non-technical

12

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

13 years 4 months ago

From a Verified Kernel towards Verified Systems

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

14

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Towards an Environmental Management Approach for Collaborative Networks

13 years 3 days ago

Towards an Environmental Management Approach for Collaborative Networks

Download www.uninova.pt

Ovidiu Noran

claim paper

Read More »

14

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 »

13

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

13 years 3 days 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

13 years 6 days 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 »