Sciweavers

453 search results - page 49 / 91
» From restrictive to prescriptive design
Sort
View
HT
2005
ACM
15 years 3 months ago
Mind the semantic gap
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
David E. Millard, Nicholas Gibbins, Danius T. Mich...
MATA
2004
Springer
15 years 3 months ago
Distributed Shared Contexts
Mobile solutions have gone beyond the role of personal tool to offer solutions in supporting coordinated work. Mobile workers shift constantly from individual to group work, access...
Rosa Alarcón, César A. Collazos, Lui...
ICSE
2000
IEEE-ACM
15 years 1 months ago
Integrating UML diagrams for production control systems
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
Hans J. Köhler, Ulrich Nickel, Jörg Nier...
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
14 years 11 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
APBC
2004
14 years 11 months ago
PathwayFinder: Paving the Way Towards Automatic Pathway Extraction
Automatically mining protein pathway information from the vast amount of published literature has been an increasing need from the pharmaceutical industry and biomedical research ...
Daming Yao, Jingbo Wang, Yanmei Lu, Nathan Noble, ...