Search Sciweavers | Sciweavers

10575 search results - page 429 / 2115

» T2Script Programming Language

114

click to vote

IFIP
2004
Springer

89views Programming Languages» more IFIP 2004»

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

16 years 28 days ago

Download wwwmayr.informatik.tu-muenchen.de

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

claim paper

Read More »

160

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

16 years 28 days ago

Download www.dsi.unive.it

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

claim paper

Read More »

130

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Constraints for Breaking More Row and Column Symmetries

16 years 24 days ago

Download www.cs.york.ac.uk

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

121

click to vote

ICALP
2003
Springer

66views Programming Languages» more ICALP 2003»

Mixin Modules and Computational Effects

16 years 23 days ago

Download www.cs.nott.ac.uk

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

claim paper

Read More »

128

click to vote

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers