770 search results - page 34 / 154 » Dinatural Terms in System F |
167
click to vote
CSUR
2008
15 years 6 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
164
Voted
EDOC
2006
IEEE
16 years 23 days ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
189
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
130
click to vote
COMPGEOM
2004
ACM
16 years 4 days ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
159
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
We describe a baseline system for the VideoCLEF Vid2RSS task. The system uses an unaltered off-the-shelf Information Retrieval system. ASR content is indexed using default stemmin...