Search Sciweavers | Sciweavers

Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efﬁcient. Different...

Owen Cliffe, Marina De Vos, Julian A. Padget

claim paper

Read More »

160

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

16 years 13 days ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

click to vote

ICMI
2007
Springer

112views Biometrics» more ICMI 2007»

A computational model for spatial expression resolution

16 years 13 days ago

Download www.ling.uni-potsdam.de

Andrea Corradini

claim paper

Read More »

126

click to vote

ICEIS
2006
IEEE

70views Information Technology» more ICEIS 2006»

A Feature Computation Tree Model to Specify Requirements and Reuse

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers