589 search results - page 89 / 118 » Io: a small programming language |
UM
2005
Springer
15 years 3 months ago
2005
Springer
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
ICSM
1999
IEEE
15 years 1 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
77
Voted
ICLP
1999
Springer
15 years 1 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...