1527 search results - page 171 / 306 » From Requirements to Design: Formalizing the Key Steps |
156
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
165
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
205
click to vote
INFORMS
1998
15 years 6 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
209
click to vote
AMTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...
190
click to vote
CASCON
2010
15 years 4 months ago
2010
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...