1661 search results - page 216 / 333 » Real-time specification patterns |
194
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...
126
Voted
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...
207
click to vote
VLDB
2003
ACM
16 years 1 months ago
2003
ACM
We enunciate the need for watermarking database relations to deter data piracy, identify the characteristics of relational data that pose unique challenges for watermarking, and de...
104
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 7 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
104
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...