Search Sciweavers | Sciweavers

10575 search results - page 429 / 2115

» T2Script Programming Language

click to vote

IFIP
2004
Springer

89views Programming Languages» more IFIP 2004»

Scheduling with Release Times and Deadlines on a Minimum Number of Machines

15 years 11 months ago

Download wwwmayr.informatik.tu-muenchen.de

Mark Cieliebak, Thomas Erlebach, Fabian Hennecke, ...

claim paper

Read More »

137

Voted

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 11 months ago

Download www.dsi.unive.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...

claim paper

Read More »

112

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Constraints for Breaking More Row and Column Symmetries

15 years 11 months ago

Download www.cs.york.ac.uk

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

click to vote

ICALP
2003
Springer

66views Programming Languages» more ICALP 2003»

Mixin Modules and Computational Effects

15 years 11 months ago

Download www.cs.nott.ac.uk

Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena...

claim paper

Read More »

116

click to vote

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers