Sciweavers

11653 search results - page 374 / 2331
» The Development of the C Language
Sort
View
EUROPLOP
2006
15 years 8 months ago
A Pattern Language for Overlay Networks in Peer-to-Peer Systems
Peer-to-peer systems typically operate in large-scale, highly unreliable and insecure environments. Tackling this complexity requires good software design. Yet, many peer-to-peer ...
Dominik Grolimund, Peter Muller
COLING
1992
15 years 8 months ago
An Analysis of Indonesian Language for Interlingual Machine-Translation System
Thispaper presentsBlAS (Bahasa Indonesia AnalyzerSystem), ananalysis systemforlndonesian language suitablefor multilingual machine translation system. BIAS is developed with a mot...
Hammam R. Yusuf
216
Voted
KBS
2006
92views more  KBS 2006»
15 years 6 months ago
Facilitating formal specification acquisition by using recursive functions on context-free languages
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
Haiming Chen, Yunmei Dong
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
16 years 1 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
16 years 28 days ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...