Sciweavers

11561 search results - page 336 / 2313
» A Language for Biochemical Systems
Sort
View
ECRTS
2000
IEEE
15 years 11 months ago
Running-modes of real-time systems: a case-study with mode-automata
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
Florence Maraninchi, Yann Rémond
SIGMOD
2007
ACM
149views Database» more  SIGMOD 2007»
16 years 7 months ago
BIwTL: a business information warehouse toolkit and language for warehousing simplification and automation
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...
Bin He, Rui Wang, Ying Chen, Ana Lelescu, James Rh...
ICDT
2007
ACM
90views Database» more  ICDT 2007»
16 years 29 days ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
FOSSACS
2005
Springer
16 years 10 days ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
FUZZIEEE
2007
IEEE
15 years 10 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...