Sciweavers

5064 search results - page 407 / 1013
» Recent Developments in Gridsolve
Sort
View
EPEW
2005
Springer
16 years 8 days ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
ESAW
2005
Springer
16 years 8 days ago
Using Socially Deliberating Agents in Organized Settings
Recently there is an increased interest in social agency and in designing and building organizations of agents. In this paper we view an organization as an interrelated set of grou...
Ioannis Partsakoulakis, George A. Vouros
EUROPKI
2005
Springer
16 years 8 days ago
Legal Security for Transformations of Signed Documents: Fundamental Concepts
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
Andreas U. Schmidt, Zbynek Loebl
FASE
2005
Springer
16 years 8 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
FPGA
2005
ACM
122views FPGA» more  FPGA 2005»
16 years 8 days ago
Power modeling and architecture evaluation for FPGA with novel circuits for Vdd programmability
Vdd-programmable FPGAs have been proposed recently to reduce FPGA power, where Vdd levels can be customized for different circuit elements and unused circuit elements can be powe...
Yan Lin, Fei Li, Lei He