2740 search results - page 211 / 548 » A Model-Based Approach To Requirements Analysis |
104
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
131
Voted
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
139
Voted
DBKDA
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
129
Voted
SIGCOMM
1995
ACM
15 years 7 months ago
1995
ACM
In most network models for quality of service support, the communication links interconnecting the switches and gateways are assumed to have fixed bandwidth and zero error rate. T...
154
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Subordinate-level categorization typically rests on establishing salient distinctions between part-level characteristics of objects, in contrast to basic-level categorization, whe...