Sciweavers

1567 search results - page 114 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
SOFTWARE
2011
14 years 8 months ago
Object-Oriented Parallelisation of Java Desktop Programs
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
Nasser Giacaman, Oliver Sinnen
POLICY
2007
Springer
15 years 7 months ago
A Socio-cognitive Approach to Modeling Policies in Open Environments
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
Tatyana Ryutov
ECOOP
2009
Springer
16 years 2 months ago
Failboxes: Provably Safe Exception Handling
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
Bart Jacobs 0002, Frank Piessens
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
15 years 6 months ago
Dynamic Role Assignment for Cooperative Robots
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
Luiz Chaimowicz, Mario Fernando Montenegro Campos,...
NIME
2004
Springer
79views Music» more  NIME 2004»
15 years 7 months ago
Toward a generalized friction controller: from the bowed string to unusual musical instruments
We present case studies of unusual instruments that share the same excitation mechanism as that of the bowed string. The musical saw, Tibetan singing bow, glass harmonica, and bow...
Stefania Serafin, Diana Young