5434 search results - page 395 / 1087 » Tool support for MOLA |
179
click to vote
TIME
2005
IEEE
16 years 1 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
180
Voted
BTW
2005
Springer
16 years 1 months ago
2005
Springer
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...
157
click to vote
MM
2003
ACM
16 years 25 days ago
2003
ACM
Cameras with story understanding can help videographers reflect on their process of content capture during documentary construction. This paper describes a set of tools that use c...
181
Voted
PPPJ
2003
ACM
16 years 25 days ago
2003
ACM
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
206
Voted
CHI
1997
ACM
15 years 11 months ago
1997
ACM
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...