Sciweavers

193 search results - page 19 / 39
» Modelling Assumptions and Requirements in the Context of Pro...
Sort
View
WETICE
2007
IEEE
14 years 1 months ago
A View-Based Analysis of Distributed and Mobile Teams
In this paper, we present emerging team forms, which are classified into Nimble, Virtual, and Mobile teams. Based on this classification, we present a systematic analysis of speci...
Christoph Dorn, Daniel Schall, Robert Gombotz, Sch...
MOBISYS
2004
ACM
14 years 7 months ago
Energy-Efficient Surveillance System Using Wireless Sensor Networks
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
Tian He, Sudha Krishnamurthy, John A. Stankovic, T...
FM
2006
Springer
113views Formal Methods» more  FM 2006»
13 years 11 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ACL
2010
13 years 5 months ago
Tools for Multilingual Grammar-Based Translation on the Web
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
Aarne Ranta, Krasimir Angelov, Thomas Hallgren
CORR
2007
Springer
90views Education» more  CORR 2007»
13 years 7 months ago
Mutual information for the selection of relevant variables in spectrometric nonlinear modelling
Data from spectrophotometers form vectors of a large number of exploitable variables. Building quantitative models using these variables most often requires using a smaller set of...
Fabrice Rossi, Amaury Lendasse, Damien Franç...