7121 search results - page 435 / 1425 » Functions as Session-Typed Processes |
174
click to vote
WCRE
2005
IEEE
16 years 11 days ago
2005
IEEE
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
140
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
170
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
151
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
166
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Eclipse defines a heterogeneous multiprocessor architecture template for data-dependent stream processing. Intended as a scalable and flexible subsystem of forthcoming media-proce...