6306 search results - page 273 / 1262 » Space, Time, and the Use of Language |
161
click to vote
CASCON
2006
15 years 8 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
196
click to vote
HICSS
2002
IEEE
16 years 7 days ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
175
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
157
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
229
click to vote
FUIN
2006
15 years 7 months ago
2006
We consider approximate pattern matching in natural language text. We use the words of the text as the alphabet, instead of the characters as in traditional string matching approac...