6201 search results - page 26 / 1241 » Implementation of Axiomatic Language |
CIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
GPCE
2003
Springer
14 years 1 months ago
2003
Springer
COMPSAC
2004
IEEE
14 years 7 days ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
AOSD
2007
ACM
14 years 15 days ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...