7820 search results - page 128 / 1564 » Formalization of Time and Space |
165
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
205
click to vote
COLING
2010
15 years 1 months ago
2010
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
164
click to vote
ZUM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
196
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
190
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...