1620 search results - page 113 / 324 » Testing Polymorphic Properties |
162
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
127
Voted
IJAIT
2006
15 years 5 months ago
2006
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
155
click to vote
IJCSA
2007
15 years 4 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
131
click to vote
INTEGRATION
1998
15 years 4 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
147
click to vote
ECIR
2011
Springer
14 years 8 months ago
2011
Springer
Feature selection plays a vital role in text categorisation. A range of different methods have been developed, each having unique properties and selecting different features. We ...