Sciweavers

5145 search results - page 166 / 1029
» Active Information Acquisition
Sort
View
FASE
2001
Springer
15 years 10 months ago
A Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
Rik Eshuis, Roel Wieringa
CSFW
2000
IEEE
15 years 10 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
DC
2001
15 years 7 months ago
Geographic data clearinghouse activity in GSI
Preparation of geographic metadata and development of geographic data clearinghouses take a very important role to promote dissemination of Geographic data. We would like to intro...
Noriyuki Takakuwa
JCAL
2002
105views more  JCAL 2002»
15 years 5 months ago
Conceptualising work activity for CAL systems design
As computing technology has increasingly become relevant to people's everyday lives, emphasis is being placed on ensuring Computer Assisted Learning (CAL) tools support users ...
D. Mwanza
TCOM
2011
85views more  TCOM 2011»
15 years 29 days ago
Exploiting Sparse User Activity in Multiuser Detection
—The number of active users in code-division multiple access (CDMA) systems is often much lower than the spreading gain. The present paper exploits fruitfully this a priori infor...
Hao Zhu, Georgios B. Giannakis