795 search results - page 67 / 159 » A Formal Approach to Heterogeneous Software Modeling |
126
Voted
DOCENG
2010
ACM
14 years 10 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
ISPDC
2005
IEEE
15 years 6 months ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
93
Voted
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
110
click to vote
AIPS
2003
15 years 1 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...