Sciweavers

412 search results - page 56 / 83
» Operating Systems Should Provide Transactions
Sort
View
ANLP
1994
101views more  ANLP 1994»
13 years 11 months ago
Sublanguage Engineering In The Fog System
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
Richard I. Kittredge, Eli Goldberg, Myunghee Kim, ...
SIGSOFT
2004
ACM
14 years 10 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel
EDOC
2009
IEEE
14 years 4 months ago
Modelling and Reasoning Languages for Social Networks Policies
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
Guido Governatori, Renato Iannella
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
14 years 4 months ago
Dribbling Control of Omnidirectional Soccer Robots
Abstract— This paper focuses on the dribbling control problem of an omnidirectional mobile robot. Because the movement of the dribbled object must be considered, dribbling contro...
Xiang Li, Maosen Wang, Andreas Zell
ISCAS
2006
IEEE
147views Hardware» more  ISCAS 2006»
14 years 3 months ago
Triangular systolic array with reduced latency for QR-decomposition of complex matrices
- The novel CORDIC-based architecture of the these weights (combiner unit). The implementation of the Triangular Systolic Array for QRD of large size complex combiner unit is rathe...
Alexander Maltsev, V. Pestretsov, Roman Maslenniko...