5215 search results - page 996 / 1043 » Modeling User Interfaces to Workflow Information Systems |
ULPAA
1992
14 years 11 months ago
1992
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
115
click to vote
DBPL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
ASM
2010
ASM
15 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
TWC
2008
14 years 9 months ago
2008
Abstract-- An information theoretic queueing model is proposed in a wireless multiple access communication setup. The proposed symmetric N user model captures physical layer parame...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
With the maturity of GPS, wireless, and Web technologies, increasing amounts of movement data collected from various moving objects, such as animals, vehicles, mobile devices, and...